8 results
M. Hanazawa. A characterization of axiom schema playing the rôle of tertium non datur ir intuitionistic logic. Proceedings of the Japan Academy, vol. 42 (1966), pp. 1007–1010.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 607-608
- Print publication:
- January 1969
-
- Article
- Export citation
A. S. Troelstra. On intermediate propositional logics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 68 (1965), pp. 141–152; also Indagationes mathematicae, vol. 27 (1965), pp. 141–152.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 4 / January 1969
- Published online by Cambridge University Press:
- 12 March 2014, p. 607
- Print publication:
- January 1969
-
- Article
- Export citation
A Method of Two-Level Simplification of Boolean Functions
-
- Journal:
- Nagoya Mathematical Journal / Volume 29 / March 1967
- Published online by Cambridge University Press:
- 22 January 2016, pp. 201-210
- Print publication:
- March 1967
-
- Article
-
- You have access
- Export citation
An Axiomatic Theory of Ordinal Numbers
-
- Journal:
- Nagoya Mathematical Journal / Volume 18 / April 1961
- Published online by Cambridge University Press:
- 22 January 2016, pp. 193-228
- Print publication:
- April 1961
-
- Article
-
- You have access
- Export citation
On an Application of Intermediate Logics
-
- Journal:
- Nagoya Mathematical Journal / Volume 16 / February 1960
- Published online by Cambridge University Press:
- 22 January 2016, pp. 119-133
- Print publication:
- February 1960
-
- Article
-
- You have access
- Export citation
On logics intermediate between intuitionistic and classical predicate logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 2 / June 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-153
- Print publication:
- June 1959
-
- Article
- Export citation
On intermediate propositional logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 24 / Issue 1 / March 1959
- Published online by Cambridge University Press:
- 12 March 2014, pp. 20-36
- Print publication:
- March 1959
-
- Article
- Export citation
Über die Zwischensysteme der Aussagenlogik*
-
- Journal:
- Nagoya Mathematical Journal / Volume 9 / October 1955
- Published online by Cambridge University Press:
- 22 January 2016, pp. 181-189
- Print publication:
- October 1955
-
- Article
-
- You have access
- Export citation